| author | Wei Liu <wei.liu2@citrix.com> | |
| Mon, 13 Jun 2016 07:49:00 +0000 (08:49 +0100) | ||
| committer | Wei Liu <wei.liu2@citrix.com> | |
| Tue, 14 Jun 2016 13:31:27 +0000 (14:31 +0100) | ||
| commit | 6b007a6df12365c3e49859f68754006c734ddffe | |
| tree | 101350ec89c0769caceadfaba15dd84f60afd21c | tree | snapshot |
| parent | c84a1fa2e6c55b1959fac2a4b3bd15539f4d820c | commit | diff |
| .gitignore | diff | blob | history | |
| tools/ocaml/Makefile.rules | diff | blob | history | |
| tools/ocaml/xenstored/Makefile | diff | blob | history |